1. Identificação | |
Tipo de Referência | Artigo em Evento (Conference Proceedings) |
Site | plutao.sid.inpe.br |
Código do Detentor | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S |
Identificador | J8LNKAN8RW/3D536H8 |
Repositório | dpi.inpe.br/plutao/2012/11.28.13.56.39 (acesso restrito) |
Última Atualização | 2020:11.24.15.43.25 (UTC) simone |
Repositório de Metadados | dpi.inpe.br/plutao/2012/11.28.13.56.40 |
Última Atualização dos Metadados | 2021:02.11.20.56.48 (UTC) administrator |
Chave Secundária | INPE--PRE/ |
ISBN | 2012-36-0429 |
Rótulo | lattes: 3237709114127674 1 RomeroAmbrSouz:2012:FiStVe |
Chave de Citação | RomeroAmbrSouz:2012:FiStVe |
Título | Finite state-machine verification applied to hybrid systems |
Ano | 2012 |
Data de Acesso | 21 maio 2024 |
Tipo Secundário | PRE CI |
Número de Arquivos | 1 |
Tamanho | 854 KiB |
|
2. Contextualização | |
Autor | 1 Romero, Alessandro Gerlinger 2 Ambrosio, Ana Maria 3 Souza, Marcelo Lopes de Oliveira e |
Identificador de Curriculo | 1 2 8JMKD3MGP5W/3C9JGH7 3 8JMKD3MGP5W/3C9JHP4 |
Grupo | 1 2 DSE-ETE-INPE-MCTI-GOV-BR 3 DMC-ETE-INPE-MCTI-GOV-BR |
Afiliação | 1 2 Instituto Nacional de Pesquisas Espaciais (INPE) 3 Instituto Nacional de Pesquisas Espaciais (INPE) |
Endereço de e-Mail do Autor | 1 romgerale@yahoo.com.br 2 ana@dss.inpe.br |
Endereço de e-Mail | romgerale@yahoo.com.br |
Nome do Evento | Congresso SAE Brasil, 21. |
Localização do Evento | São Paulo |
Data | 2012 |
Editora (Publisher) | SAE |
Título do Livro | Proceedings |
Tipo Terciário | Paper |
Histórico (UTC) | 2012-11-28 23:06:21 :: lattes -> marciana :: 2012 2013-01-31 10:48:48 :: marciana -> administrator :: 2012 2018-06-05 00:01:54 :: administrator -> marciana :: 2012 2020-11-24 15:43:11 :: marciana -> simone :: 2012 2020-11-24 15:43:26 :: simone -> administrator :: 2012 2021-02-11 20:56:48 :: administrator -> simone :: 2012 |
|
3. Conteúdo e estrutura | |
É a matriz ou uma cópia? | é a matriz |
Estágio do Conteúdo | concluido |
Transferível | 1 |
Tipo do Conteúdo | External Contribution |
Palavras-Chave | state-machine hybrid systems source lines of code |
Resumo | The notion of a hybrid system is centered around a composition of discrete and continuous dynamics. In particular, the system has a continuous evolution and occasional jumps. The jumps correspond to the change of state in an automaton whose transitions are caused either by controllable or uncontrollable external events or by the continuous evolution. The continuous evolution and these jumps in control loops are the origins from the most stringent temporal demands. These temporal demands are one of the reasons that hybrid systems usually require a high level of safety. Inevitably this type of system is present in mobility devices such as cars, ships and aircraft. Works present data showing that SLOC (Source Lines Of Code), one controversial metric of complexity, growth at current rate using existing development practices will seriously impact affordability of the next generation of commercial aircraft (remarkable hybrid systems). Efforts to develop this type of system have increasingly suffered from cost and schedule overruns. These trends are largely attributed to: (a) increasing system complexity, driven by requirements for increased functionality, performance and dependability; (b) using inadequate development practices. In fact, the verification of such systems has become a key activity in the development life-cycle. Historically such activity demands experts and high efforts, and uses ad-hoc methods. Therefore, the aim of this work is to apply the vast theory of automatic test case generation for this type of system, showing an effective and reproducible alternative for automatic test case generation based on finite state-machines. A case study that was developed considering the problem of inverted pendulum evaluates the suggested approach. The inverted pendulum is a model of attitude control for satellite launch vehicles at its departure (the objective of the attitude control problem is to keep the vehicle in a vertical position). The uniqueness of an inverted pendulum, due to its natural instability, provides various researches in areas of control, electronics and software. Furthermore, the inverted pendulum is a classic hybrid system, since it is composed of continuous dynamic (stabilization of the pendulum in a vertical axis) and discrete (failure mode management). This case study has given strong indications that the approach can bring significant gains for the effectiveness coupled with the reduction of time for planning and execution of verification, as well as contributing to fulfill certification requirements. |
Área | ETES |
Arranjo 1 | urlib.net > BDMCI > Fonds > Produção anterior à 2021 > DIDMC > Finite state-machine verification... |
Arranjo 2 | urlib.net > BDMCI > Fonds > Produção anterior à 2021 > DIDSE > Finite state-machine verification... |
Conteúdo da Pasta doc | acessar |
Conteúdo da Pasta source | não têm arquivos |
Conteúdo da Pasta agreement | não têm arquivos |
|
4. Condições de acesso e uso | |
Idioma | en |
Arquivo Alvo | romero_finite.pdf |
Grupo de Usuários | lattes marciana simone |
Grupo de Leitores | administrator simone |
Visibilidade | shown |
Permissão de Leitura | deny from all and allow from 150.163 |
Permissão de Atualização | não transferida |
|
5. Fontes relacionadas | |
Unidades Imediatamente Superiores | 8JMKD3MGPCW/446AF4B 8JMKD3MGPCW/446AUSL |
Lista de Itens Citando | sid.inpe.br/bibdigital/2021/02.11.20.54 1 |
Acervo Hospedeiro | dpi.inpe.br/plutao@80/2008/08.19.15.01 |
|
6. Notas | |
Campos Vazios | archivingpolicy archivist callnumber copyholder copyright creatorhistory descriptionlevel dissemination doi edition editor format issn lineage mark mirrorrepository nextedition notes numberofvolumes orcid organization pages parameterlist parentrepositories previousedition previouslowerunit progress project publisheraddress rightsholder schedulinginformation secondarydate secondarymark serieseditor session shorttitle sponsor subject tertiarymark type url versiontype volume |
|
7. Controle da descrição | |
e-Mail (login) | simone |
atualizar | |
|